true implication

[数] 真蕴涵